Component(ds;da;A;B) == Interface(ds;da;A)(:RealizerScheme{i:l}()  Interface(ds;da;B)) 

latex

---

clarification:

component{i:l}
component(ds; da; A; B)
== Interface(ds;da;A)(:RealizerScheme{i:l}  Interface(ds;da;B)) 

latex

Definitions	x:AB(x), x:A  B(x), RealizerScheme{i:l}(), Interface(ds;da;A)
FDL editor aliases	component